effective-logically true formula - Español Inglés Diccionario